kripke structure
Kripke 结构
热门查询
- place n. 地方；住所；座位 vt. 放置；任命；寄予 vi. 名列前茅；取得名次 n. (Place)人名；(罗)普拉切；(法)普拉斯；(英)普莱斯
- fissiparous adj. 分裂生殖的，有分裂能力的
- putrefy vt. 腐烂，化脓；堕落 vi. 化脓，腐烂；堕落
- yew n. 紫杉；紫杉木 n. (Yew)人名；(中)杨(广东话·威妥玛)
- Keaton 基顿（人名）
- inserted adj. 插入的；[生物] 嵌入的；著生的；附着的
- irrational n. [数] 无理数 adj. 不合理的；无理性的；荒谬的
- delphi n. 特尔斐（希腊古都）
- Lockwood [人名] [英格兰人姓氏] 洛克伍德住所名称，来源于古英语，含义是“圈用地+树林”(enclosure+wood); [地名] [加拿大、美国] 洛克伍德
- LF [计] 换行, 低频 [医] 絮凝单位, 絮凝限度
- undisputed adj. 无可争辩的；无异议的；毫无疑问的
- leery adj. 机敏的；狡猾的；猜疑的；送秋波的
- toxaphene n. [农药] 毒杀芬；八氯莰烯（用作杀虫剂）
- Pascoe [人名] 帕斯科
- pentagonal adj. 五角的；五边形的
- iphone n. 苹果手机
- rootworm n. 食根的昆虫或幼虫
- groundout n. （击球员击出内场地滚球后的）被杀出局
- vacillation n. 踌躇；不果断；游移不定
- exemplify vt. 例证；例示
考试词汇表
- remote controlled aircraft
- remote controlled dignosis
- remote controlled solenoid
- remote digital seismograph
- remote engine water cooler
- remote execution privilege
- remote forward association
- remote interlock connector
- remote manual regeneration
- remote mass-balance weight
- remote measuring apparatus
- remote measuring equipment
- remote monitor and control
- remote mounting capability
- remote operated controller
- remote operated substation
- remote packet concentrator
- remote pilot control valve
- remote piloted interceptor
- remote pressure controller
